While it seems to be evident that the vision of the eternal return of the same is the solution to the riddle mentioned in "On the vision and the riddle," exactly what constitutes the riddle is anything but clear. Li ke all good riddles the solution demands a paradigm shift. Nietzsche's riddle is solved by a radical rethinking of the concept of time, from a straight line to a circle. I give a detailed account of how Nietzsche's riddle is formulated (...) in such a way tha t the eternal return of the same is the only possible solution. (shrink)

This paper investigates a well-known case of simultaneous discovery in twentieth-century chemistry, the origins of the concept of hybridisation, in the light of Kuhn's insights. There has been no ambiguity as to who discovered this concept, when it was "rst in print, and how important it was. The full-#edged form of the concept was published in 1931 independently by two American scientists John C. Slater (1900}1976) and Linus Pauling (1901}1994), although both of them had made their ideas public earlier: Slater (...) at the American Physical Society meetings in 1930, and Pauling in the Proceedings of the National Academy of Sciences in 1928. Slater and Pauling both argued for the necessity of using an s orbital as well as three p orbitals in the carbon atom in order to explain carbon's four valences and the tetrahedral structure of methane. The metaphor &hybridisation' for denoting this mix of s and p orbitals was "rst used by Robert S. Mulliken and J. H. Van Vleck before gaining currency with the scienti"c community around 1935.2 The concept of hybridisation was indeed indispensable for extending the quantum-mechanical interpretation of the chemical bond as an electron pairing from diatomic molecules to polyatomic ones. To be sure, the emergence of hybridisation attests to scientists' growing interest in exploring the borderland between physics and chemistry, a trend that led to the creation of physical chemistry in the late nineteenth century and of chemical physics and quantum chemistry in the 1920s and 30s. Slater and Pauling themselves experienced and on many occasions talked about the fruitfulness of interdisciplinary research; and historians have legitimately illuminated their works by examining them in this broad context.3 Yet the careful analysis of their research notes and published papers reveals that Slater and Pauling were working in quite disparate disciplinary traditions, with di!erent approaches, for di!erent audiences, and towards di!erent goals. The aim of this paper is to explore their di!erent routes to a common destination*hybridisation*and thereby to explicate tensions existing between physics and chemistry amidst the institutional and conceptual overlapping of the two disciplines. (shrink)

Bird argues that scientific progress consists in increasing knowledge. Dellsén objects that increasing knowledge is neither necessary nor sufficient for scientific progress, and argues that scientific progress rather consists in increasing understanding. Dellsén also contends that unlike Bird’s view, his view can account for the scientific practices of using idealizations and of choosing simple theories over complex ones. I argue that Dellsén’s criticisms against Bird’s view fail, and that increasing understanding cannot account for scientific progress, if acceptance, as opposed to (...) belief, is required for scientific understanding. (shrink)

Scientific realists argue that present theories are more successful than past theories, so present theories will not be superseded by alternatives, even though past theories were superseded by alternatives. Alai (2016) objects that although present theories are more successful than past theories, they will be replaced by future theories, just as past theories were replaced by present theories. He contends, however, that past theories were partly true, and that present theories are largely true. I argue that Alai’s discrimination between past (...) and present theories is subject to his own criticism against realists’ discriminations between past and present theories, and also subject to other criticisms that philosophers have raised against scientific realism and pessimism. (shrink)

A scientific theory is successful, according to Stanford (2000), because it is suficiently observationally similar to its corresponding true theory. The Ptolemaic theory, for example, is successful because it is sufficiently similar to the Copernican theory at the observational level. The suggestion meets the scientific realists' request to explain the success of science without committing to the (approximate) truth of successful scientific theories. I argue that Stanford's proposal has a conceptual flaw. A conceptually sound explanation, I claim, respects the ontological (...) order between properties. A dependent property is to be explained in terms of its underlying property, not the other way around. The applicability of this point goes well beyond the realm of the debate between scientific realists and antirealists. Any philosophers should keep the point in mind when they attempt to give an explanation of a property in their field whatever it may be. (shrink)

It has often been suggested that people's ordinary understanding of morality involves a belief in objective moral truths and a rejection of moral relativism. The results of six studies call this claim into question. Participants did offer apparently objectivist moral intuitions when considering individuals from their own culture, but they offered increasingly relativist intuitions considering individuals from increasingly different cultures or ways of life. The authors hypothesize that people do not have a fixed commitment to moral objectivism but instead tend (...) to adopt different views depending on the degree to which they consider radically different perspectives on moral questions. (shrink)

The entry of resonance into chemistry, or the reception of the theory of resonance in the chemical community, has drawn considerable attention from historians of science. In particular, they have noted Pauling's ¯amboyant yet effective style of exposition, which became a factor in the early popularity of the resonance theory in comparison to the molecular orbital theory, another way of applying quantum mechanics to chemical problems.$ To be sure, the non-mathematical presentation of the resonance theory by Pauling and his collaborator, (...) George Wheland, helped to facilitate the reception ; but this presentation was vulnerable to the confusion that arose among chemists owing to the similarity between resonance and tautomerism, or between foreign and indigenous concepts. The reception occurred at the expense of serious misunderstandings about resonance. This paper investigates the ways in which Pauling and Wheland taught, and taught about, the theory of resonance, especially their ways of coping with the difficulties of translating a quantum-mechanical concept into chemical language. Their different strategies for teaching resonance theory deserve a thorough examination, not only because the strategies had to do with their solutions of the philosophical question whether resonance is a real phenomenon or not, and whether the theory of resonance is a chemical theory or a mathematical method of approximation, but also because this examination will illuminate the role of chemical translators in the transmission of knowledge across disciplinary boundaries. (shrink)

Is the societal-level of analysis sufficient today to understand the values of those in the global workforce? Or are individual-level analyses more appropriate for assessing the influence of values on ethical behaviors across country workforces? Using multi-level analyses for a 48-society sample, we test the utility of both the societal-level and individual-level dimensions of collectivism and individualism values for predicting ethical behaviors of business professionals. Our values-based behavioral analysis indicates that values at the individual-level make a more significant contribution to (...) explaining variance in ethical behaviors than do values at the societal-level. Implicitly, our findings question the soundness of using societal-level values measures. Implications for international business research are discussed. (shrink)

It has often been suggested that people’s ordinary folk understanding of morality involves a rejection of moral relativism and a belief in objective moral truths. The results of six studies call this claim into question. Participants did offer apparently objectivist intuitions when confronted with questions about individuals from their own culture, but they offered increasingly relativist intuitions as they were confronted with questions about individuals from increasingly different cultures or ways of life. In light of these data, the authors hypothesize (...) that people do not have a fixed commitment to moral objectivism but instead tend to adopt different views depending on the degree to which they consider radically different perspectives on moral questions. [NOTE: This is a reprint of Sarkissian et al 2011]. (shrink)

Parfit's On What Matters offers a rousing defence of non-naturalist normative realism against pressing metaphysical and epistemological objections. He addresses skeptical arguments based on (i) the causal origins of our normative beliefs, and (ii) the appearance of pervasive moral disagreement. In both cases, he concedes the first step to the skeptic, but draws a subsequent distinction with which he hopes to stem the skeptic's advance. I argue, however, that these distinctions cannot bear the weight that Parfit places on them. A (...) successful moral epistemology must take a harder line with the skeptic, insisting that moral knowledge can be had by those with the right kind of psychology -- no matter the evolutionary origin of the psychology, nor whether we can demonstrate its reliability over the alternatives. (shrink)

Are non-natural properties worth caring about? I consider two objections to metaethical non-naturalism. According to the intelligibility objection, it would be positively unintelligible to care about non-natural properties that float free from the causal fabric of the cosmos. According to the ethical idlers objection, there is no compelling motivation to posit non-natural normative properties because the natural properties suffice to provide us with reasons. In both cases, I argue, the objection stems from misunderstanding the role that non-natural properties play in (...) the non-naturalist's understanding of normativity. The role of non-natural properties is not to be responded to, but to "mark" which natural properties it is correct for us to respond to in certain ways. (shrink)

Angell's logic of analytic containment AC has been shown to be characterized by a 9-valued matrix NC by Ferguson, and by a 16-valued matrix by Fine. We show that the former is the image of a surjective homomorphism from the latter, i.e., an epimorphic image. The epimorphism was found with the help of MUltlog, which also provides a tableau calculus for NC extended by quantifiers that generalize conjunction and disjunction.

Philosophers of science turned to historical case studies in part in response to Thomas Kuhn's insistence that such studies can transform the philosophy of science. In this issue Joseph Pitt argues that the power of case studies to instruct us about scientific methodology and epistemology depends on prior philosophical commitments, without which case studies are not philosophically useful. Here I reply to Pitt, demonstrating that case studies, properly deployed, illustrate styles of scientific work and modes of argumentation that are not (...) well handled by currently standard philosophical analyses. I illustrate these claims with exemplary findings from case studies dealing with exploratory experimentation and with interdisciplinary cooperation across sciences to yield multiple independent means of access to theoretical entities. The latter cases provide examples of ways that scientists support claims about theoretical entities that are not available in work performed within a single discipline. They also illustrate means of correcting systematic biases that stem from the commitments of each discipline taken separately. These findings illustrate the transformative power of case study methods, allow us to escape from the horns of Pitt's "dilemma of case studies," and vindicate some of the post-Kuhn uses to which case studies have been put. (shrink)

In the world according to Hume, people are complicated creatures, with convoluted, often contradictory characters. Consider, for example, Hume's controversial assessment of Charles I: "The character of this prince, as that of most men, if not of all men, was mixed .... To consider him in the most favourable light, it may be affirmed, that his dignity was free from pride, his humanity from weakness, his bravery from rashness, his temperance from austerity, his frugality from avarice .... To speak the (...) most harshly of him, we may affirm, that many of his good qualities were attended with some latent frailty, which, though seemingly inconsiderable, was able, when seconded by the extreme malevolence of his fortune, to disappoint them of all their influence: His beneficent disposition was clouded by a manner not very gracious; his virtue was tinctured with superstition; his good sense was disfigured by a deference to persons of a capacity inferior to his own; and his moderate temper exempted him not from hasty and precipitate resolutions." This sketch shows Charles in all his complexities, with his virtues, near virtues, and contradicting virtues. I have quoted it at length because it is hard to summarize without losing the subtleties that lie within it. Hume's moral theory is based fundamentally on judgments of character, 2 so those subtleties are important to his view. The character sketches that pervade the.. (shrink)

Orthodox semantics for natural language modals give rise to two puzzles for their interactions with disjunction: Ross’s puzzle and the puzzle of free choice permission. It is widely assumed that each puzzle can be explained in terms of the licensing of ‘Diversity’ inferences: from the truth of a possibility or necessity modal with an embedded disjunction, hearers infer that each disjunct is compatible with the relevant set of worlds. I argue that Diversity inferences are too weak to explain the full (...) range of data. Instead, I argue, modals with embedded disjunctions license ‘Independence’ inferences: from the truth of a modal with an embedded disjunction, hearers infer that each disjunct is an independent alternative among the relevant set of worlds. I then develop a bilateral inquisitive semantics for modals that predicts the validity of these Independence inferences. My account vindicates common intuitions about both Ross’s puzzle and the puzzle of free choice permission, and explains the full range of data. (shrink)

Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe these results, focussing (...) primarily on propositional logic, and to put them in their historical context. It is argued that truth-value semantics, syntactic ("Post-") and semantic completeness, decidability, and other results were first obtained by Hilbert and Bernays in 1918, and that Bernays's role in their discovery and the subsequent development of mathematical logic is much greater than has so far been acknowledged. (shrink)

Derek Parfit was one of the most important and influential moral philosophers of the late 20th and early 21st centuries. This Element offers a critical introduction to his wide-ranging ethical thought, focusing especially on his two most significant works, Reasons and Persons and On What Matters, and their contribution to the consequentialist moral tradition. Topics covered include: rationality and objectivity, distributive justice, self-defeating moral theories, Parfit's Triple Theory, personal identity, and population ethics.

We provide a philosophical reconstruction and analysis of the debate on the scientific status of cosmic inflation that has played out in recent years. In a series of critical papers, Ijjas et al. have questioned the scientificality of the current views on cosmic inflation. Proponents of cosmic inflation have in turn defended the scientific credentials of their approach. We argue that, while this defense, narrowly construed, is successful against Ijjas et al., the latter's reasoning does point to a significant epistemic (...) issue that arises with respect to inflation. A broadening of the concept of theory assessment is needed to address that issue in an adequate way. (shrink)

David Hilbert's finitistic standpoint is a conception of elementary number theory designed to answer the intuitionist doubts regarding the security and certainty of mathematics. Hilbert was unfortunately not exact in delineating what that viewpoint was, and Hilbert himself changed his usage of the term through the 1920s and 30s. The purpose of this paper is to outline what the main problems are in understanding Hilbert and Bernays on this issue, based on some publications by them which have so far received (...) little attention, and on a number of philosophical reconstructions of the viewpoint (in particular, by Hand, Kitcher, and Tait). (shrink)

Right- and wrong-making features ("moral grounds") are widely believed to play important normative roles, e.g. in morally apt or virtuous motivation. This paper argues that moral grounds have been systematically misidentified. Canonical statements of our moral theories tend to summarize, rather than directly state, the full range of moral grounds posited by the theory. Further work is required to "unpack" a theory's criterion of rightness and identify the features that are of ground-level moral significance. As a result, it is not (...) actually true that maximizing value is the relevant right-making feature even for maximizing consequentialists. Focusing on the simple example of utilitarianism, I show how careful attention to the ground level can drastically influence how we think about our moral theories. (shrink)

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

In the 1920s, David Hilbert proposed a research program with the aim of providing mathematics with a secure foundation. This was to be accomplished by first formalizing logic and mathematics in their entirety, and then showing---using only so-called finitistic principles---that these formalizations are free of contradictions. ;In the area of logic, the Hilbert school accomplished major advances both in introducing new systems of logic, and in developing central metalogical notions, such as completeness and decidability. The analysis of unpublished material presented (...) in Chapter 2 shows that a completeness proof for propositional logic was found by Hilbert and his assistant Paul Bernays already in 1917--18, and that Bernays's contribution was much greater than is commonly acknowledged. Aside from logic, the main technical contribution of Hilbert's Program are the development of formal mathematical theories and proof-theoretical investigations thereof, in particular, consistency proofs. In this respect Wilhelm Ackermann's 1924 dissertation is a milestone both in the development of the Program and in proof theory in general. Ackermann gives a consistency proof for a second-order version of primitive recursive arithmetic which, surprisingly, explicitly uses a finitistic version of transfinite induction up to www . He also gave a faulty consistency proof for a system of second-order arithmetic based on Hilbert's &egr;-substitution method. Detailed analyses of both proofs in Chapter 3 shed light on the development of finitism and proof theory in the 1920s as practiced in Hilbert's school. ;In a series of papers, Charles Parsons has attempted to map out a notion of mathematical intuition which he also brings to bear on Hilbert's finitism. According to him, mathematical intuition fails to be able to underwrite the kind of intuitive knowledge Hilbert thought was attainable by the finitist. It is argued in Chapter 4 that the extent of finitistic knowledge which intuition can provide is broader than Parsons supposes. According to another influential analysis of finitism due to W. W. Tait, finitist reasoning coincides with primitive recursive reasoning. The acceptance of non-primitive recursive methods in Ackermann's dissertation presented in Chapter 3, together with additional textual evidence presented in Chapter 4, shows that this identification is untenable as far as Hilbert's conception of finitism is concerned. Tait's conception, however, differs from Hilbert's in important respects, yet it is also open to criticisms leading to the conclusion that finitism encompasses more than just primitive recursive reasoning. (shrink)

The desirability of what actually occurs is often influenced by what could have been. Preferences based on such value dependencies between actual and counterfactual outcomes generate a class of problems for orthodox decision theory, the best-known perhaps being the so-called Allais Paradox. In this paper we solve these problems by extending Richard Jeffrey's decision theory to counterfactual prospects, using a multidimensional possible-world semantics for conditionals, and showing that preferences that are sensitive to counterfactual considerations can still be desirability maximising. (...) We end the paper by investigating the conditions necessary and sufficient for a desirability function to be an expected utility. It turns out that the additional conditions imply highly implausible epistemic principles. (shrink)

Philosophers have been talking about brain states for almost 50 years and as of yet no one has articulated a theoretical account of what one is. In fact this issue has received almost no attention and cognitive scientists still use meaningless phrases like 'C-fiber firing' and 'neuronal activity' when theorizing about the relation of the mind to the brain. To date when theorists do discuss brain states they usually do so in the context of making some other argument with the (...) result being that any discussion of what brain states are has a distinct en passant flavor. In light of this it is a goal of mine to make brain states the center of attention by providing some general discussion of them. I briefly look at the argument of Bechtel and Mundale, as I think that they expose a common misconception philosophers had about brain states early on. I then turn to briefly examining Polger's argument, as I think he offers an intuitive account of what we expect brain states to be as well as a convincing argument against a common candidate for knowledge about brain states that is currently "on the scene." I then introduce a distinction between brain states and states of the brain: Particular brain states occur against background states of the brain. I argue that brain states are patterns of synchronous neural firing, which reflects the electrical face of the brain; states of the brain are the gating and modulating of neural activity and reflect the chemical face of the brain. (shrink)

In this paper, we seek a reliabilist account of justified credence. Reliabilism about justified beliefs comes in two varieties: process reliabilism (Goldman, 1979, 2008) and indicator reliabilism (Alston, 1988, 2005). Existing accounts of reliabilism about justified credence comes in the same two varieties: Jeff Dunn (2015) proposes a version of process reliabilism, while Weng Hong Tang (2016) offers a version of indicator reliabilism. As we will see, both face the same objection. If they are right about what justification is, it (...) is mysterious why we care about justification, for neither of the accounts explains how justification is connected to anything of epistemic value. We will call this the Connection Problem. I begin by describing Dunn’s process reliabilism and Tang’s indicator reliabilism. I argue that, understood correctly, they are, in fact, extensionally equivalent. That is, Dunn and Tang reach the top of the same mountain, albeit by different routes. However, I argue that both face the Connection Problem. In response, I offer my own version of reliabilism, which is both process and indicator, and I argue that it solves that problem. Furthermore, I show that it is also extensionally equivalent to Dunn’s reliabilism and Tang’s. Thus, I reach the top of the same mountain as well. (shrink)

This paper discusses Frege's account of definition by induction in Grundgesetze and the two key theorems Frege proves using it.

C. Stephen Layman contends that an argument supporting theism over naturalism can be constructed based on three defensible, non–question-begging premises about the moral order. Previous critics of Layman’s argument have challenged the truth of these premises. We stipulate them arguendo but go on to show that there is a deeper problem: a fourth premise introduced to complete the argument—the “completion premise,” as we call it—is true only if we assume that God exists or we concede that there is no afterlife. (...) We close with suggestions for how Layman’s argument must be strengthened to meet with dialectical success. (shrink)

In this paper, we attempt to show that if Plantinga’s free will defence succeeds, his O Felix Culpa theodicy fails. For if every creaturely essence suffers from transworld depravity, then given that Jesus has a creaturely essence (as we attempt to show), it follows that Incarnation and Atonement worlds cannot be actualized by God, in which case we have anything but a felix culpa.

For over 20 years, Jaegwon Kim’s Causal Exclusion Argument has stood as the major hurdle for non-reductive physicalism. If successful, Kim’s argument would show that the high-level properties posited by non-reductive physicalists must either be identical with lower-level physical properties, or else must be causally inert. The most prominent objection to the Causal Exclusion Argument—the so-called Overdetermination Objection—points out that there are some notions of causation that are left untouched by the argument. If causation is simply counterfactual dependence, for example, (...) then the Causal Exclusion Argument fails. Thus, much of the existing debate turns on the issue of which account of causation is appropriate. In this paper, however, I take a bolder approach and argue that Kim’s preferred version of the Causal Exclusion Argument fails no matter what account one gives of causation. Any notion of causation that is strong enough to support the premises of the argument is too strong to play the role required in the logic of the argument. I also consider a second version of the Causal Exclusion Argument, and suggest that although it may avoid the problems of the first version, it begs the question against a particular form of non-reductive physicalism, namely emergentism. (shrink)

Contemporary discussion of biological teleology has been dominated by a complacent orthodoxy. Responsibility for this shortcoming rests primarily, I think, with those who ought to have been challenging dogma but have remained silent, leaving the orthodox to grow soft, if happily. In this silence, champions of orthodoxy have declared a signal victory, proclaiming the dominance of their view as one of philosophy’s historic successes. But this declaration is premature at best—this would be neither the first nor probably the last time (...) that a narrow school of philosophy has declared the resolution of age-old problems only to have those problems rise from the ashes of their better selves when a broader view is articulated. I propose to challenge orthodoxy by undermining its fundamental assumption and to enlist the help of others in articulating a formidable heterodox alternative to contemporary dogma concerning biological teleology, perhaps on the model I sketch below. (shrink)

One popular approach to theorizing about phenomenal consciousness has been to connect it to representations of a certain kind. Representational theories of consciousness can be further sub-divided into first-order and higher-order theories. Higher-order theories are often interpreted as invoking a special relation between the first-order state and the higher-order state. However there is another way to interpret higher-order theories that rejects this relational requirement. On this alternative view phenomenal consciousness consists in having suitable higher-order representations. I call this ‘HOROR’ (‘Higher-Order (...) Representation Of a Representation’) theory to distinguish it from relational versions of higher- order theory. In this paper I make the case that HOROR theory is a plausible account of the real nature of phenomenal consciousness whatever one’s views are about whether it is physical/reducible or not. I first clarify HOROR theory and compare it to the more traditional same-order and higher-order thought theories. Afterwards I move to presenting some considerations in favor of HOROR theory. (shrink)

In The Boundary Stones of Thought, Rumfitt defends classical logic against challenges from intuitionistic mathematics and vagueness, using a semantics of pre-topologies on possibilities, and a topological semantics on predicates, respectively. These semantics are suggestive but the characterizations of negation face difficulties that may undermine their usefulness in Rumfitt’s project.

This paper applies a virtue epistemology approach to using the Internet, as to improve our information-seeking behaviours. Virtue epistemology focusses on the cognitive character of agents and is less concerned with the nature of truth and epistemic justification as compared to traditional analytic epistemology. Due to this focus on cognitive character and agency, it is a fruitful but underexplored approach to using the Internet in an epistemically desirable way. Thus, the central question in this paper is: How to use the (...) Internet in an epistemically virtuous way? Using the work of Jason Baehr, it starts by outlining nine intellectual or epistemic virtues: curiosity, intellectual autonomy, intellectual humility, attentiveness, intellectual carefulness, intellectual thoroughness, open-mindedness, intellectual courage and intellectual tenacity. It then explores how we should deploy these virtues and avoid the corresponding vices when interacting with the Internet, particularly search engines. Whilst an epistemically virtuous use of the Internet will not guarantee that one will acquire true beliefs, understanding or even knowledge, it will strongly improve one’s information-seeking behaviours. The paper ends with arguing that teaching and assessing online intellectual virtues should be part of school and university curricula, perhaps embedded in critical thinking courses, or even better, as individual units. (shrink)

A dispositional property is a tendency, or potency, to manifest some characteristic behaviour in some appropriate context. The mainstream view in the twentieth century was that such properties are to be explained in terms of more fundamental non-dispositional properties, together with the laws of nature. In the last few decades, however, a rival view has become popular, according to which some properties are essentially dispositional in nature, and the laws of nature are to be explained in terms of these fundamental (...) dispositions. The supposed ability of fundamental dispositions to ground natural laws is one of the most attractive features of the dispositional essentialist position. In this paper, however, I cast doubt on the ability of dispositional essences to ground the laws of nature. In particular I argue that the dispositional essentialist position is not able to coherently respond—sympathetically or otherwise—to Cartwright's challenge that there are no true general laws of nature. (shrink)

Birch et. al. see their model as incompatible with higher-order-thought (HOT) theories of consciousness, on which a state is conscious if one is in some suitable way aware of that state. They see higher-order (HO) awareness as an “extra ingredient”. But since Birch et al go on to say that “[t]his is not the place for a detailed discussion of HOT theories,” they don’t address why they take HO awareness to be an extra ingredient or why HOT theorists are convinced (...) that it’s needed. In this commentary we argue that higher-order theories are a crucial for understanding consciousness. (shrink)

So-called 'Frege cases' pose a challenge for anyone who would hope to treat the contents of beliefs (and similar mental states) as Russellian propositions: It is then impossible to explain people's behavior in Frege cases without invoking non-intentional features of their mental states, and doing that seems to undermine the intentionality of psychological explanation. In the present paper, I develop this sort of objection in what seems to me to be its strongest form, but then offer a response to it. (...) I grant that psychological explanation must invoke non-intentional features of mental states, but it is of crucial importance which such features must be referenced. -/- It emerges from a careful reading of Frege's own view that we need only invoke what I call 'formal' relations between mental states. I then claim that referencing such 'formal' relations within psychological explanation does not undermine its intentionality in the way that invoking, say, neurological features would. The central worry about this view is that either (a) 'formal' relations bring narrow content in through back door or (b) 'formal' relations end up doing all the explanatory work. Various forms of each worry are discussed. The crucial point, ultimately, is that the present strategy for responding to Frege cases is not available either to the 'psycho-Fregean', who would identify the content of a belief with its truth-value, nor even to someone who would identify the content of a belief with a set of possible worlds. It requires the sort of rich semantic structure that is distinctive of Russellian propositions. There is therefore no reason to suppose that the invocation of 'formal' relations threatens to deprive content of any work to do. (shrink)

Priest has provided a simple tableau calculus for Chellas's conditional logic Ck. We provide rules which, when added to Priest's system, result in tableau calculi for Chellas's CK and Lewis's VC. Completeness of these tableaux, however, relies on the cut rule.

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

Co-authored letter to the APA to take a lead role in the recognition of teaching in the classroom, based on the participation in an interdisciplinary Conference on the Role of Advocacy in the Classroom back in 1995. At the time of this writing, the late Myles Brand was the President of Indiana University and a member of the IU Department of Philosophy.

I argue that Graham Oppy’s attempt to redefend his charge that all modal theistic arguments “must be question-begging” is unsuccessful. Oppy’s attempt to show that theism and modal concretism are compatible is not only tangential for his purposes, it is marred by a misunderstanding of theism, and vulnerable to a counterexample that actually demonstrates incompatibility. Moreover, the notion of begging the question employed by Oppy against the theist is seen to be far too permissive.

This paper considers the relation between the value of a whole (person, society) and its parts (timeslices, individuals), arguing that the contributory value of a part cannot be determined in isolation. For example, the value of an additional life may depend on what other lives there are. This has important implications for population ethics, and especially Parfit's 'repugnant conclusion'.

On Hume’s account of motivation, beliefs and desires are very different kinds of propositional attitudes. Beliefs are cognitive attitudes, desires emotive ones. An agent’s belief in a proposition captures the weight he or she assigns to this proposition in his or her cognitive representation of the world. An agent’s desire for a proposition captures the degree to which he or she prefers its truth, motivating him or her to act accordingly. Although beliefs and desires are sometimes entangled, they play very (...) different roles in rational agency. In two classic papers (Lewis 1988, 1996), David Lewis discusses several challenges to this Humean picture, but ultimately rejects them. We think that his discussion of a central anti-Humean alternative – the desire-as-belief thesis – is in need of refinnement. On this thesis, the desire for proposition p is given by the belief that p is desirable. Lewis claims that ‘[e]xcept in trivial cases, [this thesis] collapses into contradiction’(Lewis 1996, p. 308). The problem, he argues, is that the thesis is inconsistent with the purportedly plausible requirement that one’s desire for a proposition should not change upon learning that the proposition is true; call this the invariance requirement. In this paper, we revisit Lewis’s argument. We show that, if one carefully distinguishes between non-evaluative and evaluative propositions, the desire-asbelief thesis can be rendered consistent with the invariance requirement. Lewis’s conclusion holds only under certain conditions: the desire-as-belief thesis conflicts with the invariance requirement if and only if there are certain correlations between non-evaluative and evaluative propositions. But when there are such correlations, we suggest, the invariance requirement loses its plausibility. Thus Lewis’s argument against the desire-as-belief thesis appears to be valid only in cases in which it is unsound. (shrink)

As is well-known, the formal system in which Frege works in his Grundgesetze der Arithmetik is formally inconsistent, Russell’s Paradox being derivable in it.This system is, except for minor differ...

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...) the connectives in question. (shrink)

The Dutch Book Argument for Probabilism assumes Ramsey's Thesis (RT), which purports to determine the prices an agent is rationally required to pay for a bet. Recently, a new objection to Ramsey's Thesis has emerged (Hedden 2013, Wronski & Godziszewski 2017, Wronski 2018)--I call this the Expected Utility Objection. According to this objection, it is Maximise Subjective Expected Utility (MSEU) that determines the prices an agent is required to pay for a bet, and this often disagrees with Ramsey's Thesis. I (...) suggest two responses to Hedden's objection. First, we might be permissive: agents are permitted to pay any price that is required or permitted by RT, and they are permitted to pay any price that is required or permitted by MSEU. This allows us to give a revised version of the Dutch Book Argument for Probabilism, which I call the Permissive Dutch Book Argument. Second, I suggest that even the proponent of the Expected Utility Objection should admit that RT gives the correct answer in certain very limited cases, and I show that, together with MSEU, this very restricted version of RT gives a new pragmatic argument for Probabilism, which I call the Bookless Pragmatic Argument. (shrink)

Rohwer & Marris claim that “many conservation biologists” believe that there is a prima facie duty to preserve the genetic integrity of species. (A prima facie duty is a necessary pro tanto moral reason.) They describe three possible arguments for that belief and reject them all. They conclude that the biologists they cite are mistaken, and that there is no such duty: duties to preserve genetic integrity are merely instrumental: we ought act to preserve genetic integrity only because doing so (...) is required by some other duty, such as the duty to preserve taxonomic biodiversity, or the duty to preserve the reproductive fitness of existing species. In permitting for instance the introgression of cattle genes into the genome of Bison bison we therefore do not necessarily fail in any respect ethically. I criticize the paper on three fronts. (shrink)

Written in 2002/2003 while I was a graduate student at the University of Connecticut and ultimately submitted as part of my qualifying exam for the Master Degree in philosophy. I argue that the causal relation is observable even if the necessity of the connection is not. This version (the only one that remains) was prepared for presentation at the New Jersey Regional Philosophy Association.

to appear in Lambert, E. and J. Schwenkler (eds.) Transformative Experience (OUP) -/- L. A. Paul (2014, 2015) argues that the possibility of epistemically transformative experiences poses serious and novel problems for the orthodox theory of rational choice, namely, expected utility theory — I call her argument the Utility Ignorance Objection. In a pair of earlier papers, I responded to Paul’s challenge (Pettigrew 2015, 2016), and a number of other philosophers have responded in similar ways (Dougherty, et al. 2015, Harman (...) 2015) — I call our argument the Fine-Graining Response. Paul has her own reply to this response, which we might call the Authenticity Reply. But Sarah Moss has recently offered an alternative reply to the Fine-Graining Response on Paul’s behalf (Moss 2017) — we’ll call it the No Knowledge Reply. This appeals to the knowledge norm of action, together with Moss’ novel and intriguing account of probabilistic knowledge. In this paper, I consider Moss’ reply and argue that it fails. I argue first that it fails as a reply made on Paul’s behalf, since it forces us to abandon many of the features of Paul’s challenge that make it distinctive and with which Paul herself is particularly concerned. Then I argue that it fails as a reply independent of its fidelity to Paul’s intentions. (shrink)

This paper explores the implications of extended and distributed cognition theory for our notions of personal identity. On an extended and distributed approach to cognition, external information is under certain conditions constitutive of memory. On a narrative approach to personal identity, autobiographical memory is constitutive of our diachronic self. In this paper, I bring these two approaches together and argue that external information can be constitutive of one’s autobiographical memory and thus also of one’s diachronic self. To develop this claim, (...) I draw on recent empirical work in human-computer interaction, looking at lifelogging technologies in both healthcare and everyday contexts. I argue that personal identity can neither be reduced to psychological structures instantiated by the brain nor by biological structures instantiated by the organism, but should be seen as an environmentally-distributed and relational construct. In other words, the complex web of cognitive relations we develop and maintain with other people and technological artifacts partly determines our self. This view has conceptual, methodological, and normative implications: we should broaden our concepts of the self as to include social and artifactual structures, focus on external memory systems in the (empirical) study of personal identity, and not interfere with people’s distributed minds and selves. (shrink)